Using the Impl Policy Language
نویسندگان
چکیده
Multi-context systems are a formalism for interlinking knowledge-based system (contexts) which interact via (possibly nonmonotonic) bridge rules. Such interlinking provides ample opportunity for unexpected inconsistencies. These are undesired and come in different categories: some are serious and must be inspected by a human operator, while some should simply be repaired automatically. However, no one-fits-all solution exists, as these categories depend on the application scenario. To tackle inconsistencies in a general way, we therefore propose a declarative policy language for inconsistency management in multi-context systems. We define syntax and semantics, discuss methodologies for applying the language in real world applications, and describe an implementation by rewriting to the ACTHEX formalism which is an extension of Answer Set Programs. 1Institut für Informationssysteme, Technische Universität Wien, Favoritenstraße 9-11, A-1040 Vienna, Austria; email: {eiter,fink,schueller}@kr.tuwien.ac.at. 2Dipartimento di Matematica, Cubo 30B, Università della Calabria, 87036 Rende (CS), Italy; email: [email protected]. Acknowledgements: This research has been supported by the Vienna Science and Technology Fund (WWTF) project ICT08-020. This report is an extended version of [Eiter et al., 2012]. Copyright c © 2012 by the authors 2 INFSYS RR 1843-12-05
منابع مشابه
LOTOS-based Verification of Modular Asynchronous Circuits
Let IMPL and SPEC denote LOTOS-processes describing the implementation and specification of an asynchronous circuit. Assume they have the same alphabet, which is partitioned into an input part and an output part. We define: IMPL realizes SPEC (notation: IMPL |= SPEC) iff the following conditions are met. (1) (IMPL || SPEC) obs.equiv. SPEC. Here '||' denotes full synchronization, except for the ...
متن کاملLanguage Education Policy in Developing Nations from Colonization to Postcolonialism
The purpose of this article is to evaluate the role that colonization played in language education policy and illustrate the need for first language instruction. Using postcolonial scholar Franz Fanon, the reasons for and consequences of using a second language medium of instruction in postcolonial nations are explored. Colonial languages were used to reinforce the imperialistic goals of ...
متن کاملLanguage Policy in Nigeria: Prospect for National Unity
Various studies on the National Policy on Education (NPE) have concentrated on the cognitive value of pedagogy and learning of the language aspect but few have viewed its importance on the togetherness of the nation - Nigeria. This paper deals with how the language policy can influence and ensure the co-existence of Nigeria in achieving self-actualisation, national unity, social, cultural, econ...
متن کاملKnowledge Organization and Application: Brief Comments on Papers in the Session
Brackman describes a l a t t i ce l i ke structured inheritance network (KLONE) as a language for exp l i c i t representation of natural language conceptual information. Multiple descriptions can be represented. How does the f a c i l i t y d i f fe r from a similar one in KRL? Belief representations appear to be only impl ic i t . Quantification is handled through a set of "structural descrip...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012